面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

专科英语、本科英语及成人专科英语的定位和相互关系

专科英语在理论上被界定为专门用途英语(ESP)分支下,介于学术英语(EAP)与职业英语(EOP)之间的业务用途英语(EPP)。而本科(大学)英语在理论体系上属于普通英语(GE)。本文从ESP理论的角度探讨了专科英语,本科英语及成人专科英语的定位和相互关系。     

诊断键合图在液体火箭发动机故障诊断中的应用

研究了通过诊断键合图模型建立液体火箭发动机解析冗余关系的故障诊断方法。通过在液体火箭发动机键合图模型中加入观测信号和虚拟传感器的方法，建立其诊断键合图模型，并利用此模型构建了系统的解析冗余关系。提出了根据诊断键合图因果路径并利用解析冗余关系残差趋势分析建立具有残差变化方向故障特征矩阵的方法，使故障特征值能更好地反映故障特征。最后利用仿真数据对诊断结果进行验证和分析，表明该方法建模简单、诊断速度快、准确性高。     

导弹密封皮碗的可靠寿命试验与评估

对某型号导弹密封系统所用的橡胶材料进行了加速老化试验，通过分析给出贮存可靠及可靠寿命等性能指标随时间、温度的变化规律。并引进随温度变化的失效率与加速系数，来研究材料对贮存温度的敏感性，从而为确定最佳贮存温度提供依据。     

KuaFu Mission

The KuaFu mission-Space Storms, Aurora and Space Weather Explorer-is an "L1+Polar" triple satellite project composed of three spacecraft: KuaFu-A will be located at L1 and have instruments to observe solar EUV and FUV emissions, and white-light Coronal Mass Ejections (CMEs), and to measure radio waves, the local plasma and magnetic field,and high-energy particles. KuaFuB1 and KuaFu- B2 will bein polar orbits chosen to facilitate continuous 24 hours a day observation of the north polar Aurora Oval. The KuaFu mission is designed to observe the complete chain of disturbances from the solar atmosphere to geospace, including solar flares, CMEs, interplanetary clouds, shock waves, and their geo-effects, such as magnetospheric sub-storms and magnetic storms, and auroral activities. The mission may start at the next solar maximum (launch in about 2012), and with an initial mission lifetime of two to three years. KuaFu data will be used for the scientific study of space weather phenomena, and will be used for space weather monitoring and forecast purposes. The overall mission design, instrument complement, and incorporation of recent technologies will target new fundamental science, advance our understanding of the physical processes underlying space weather, and raise the standard of end-to-end monitoring of the Sun-Earth system.     

天空飞行与地面风洞实验动态气动相关中的雷诺数影响

近10余年来,在3个动态气动专题领域内,地面风洞自由飞实验与对应的天空飞行器的绕流雷诺数虽然相差1~2个量级,但风洞自由飞实验结果多次预测或再现了天空飞行器出现的对飞行安全、飞行性能产生严重影响、其它地面风洞实验方法难以预测或再现的这3个专题领域内的动态气动特性,这至少为3个专题领域内天地动态气动相关中的雷诺数影响,提供了一个新的理解。     

Spatio-Temporal Ontologies and Attention

ABSTRACT

This paper presents a new proposal for the design of spatio-temporal ontologies which has its origin in cognitively motivated spatial semantics. It is shown that selective attention not only plays a central role in the characterization of spatial relations but that the representation of attentional aspects also leads to the possibility of defining an ontological upper structure which systematically covers both the spatial and the temporal domain.     

Local-time variations of geomagnetic disturbances during intense geomagnetic storms and possible association with their interplanetary causes

In the present paper the local-time variations in the disturbance of the geomagnetic-field horizontal component (H) for eight intense geomagnetic storms that occurred during the descending phase of solar cycle 23 have been analyzed. The study was based on the plot of contour lines of the H-depletion intensity in the plane local time versus universal time (LT–UT maps) with the objective of observing how the morphology and evolution of the ring current is mapped into the surface of the Earth in presence of intense geomagnetic storms.     

Evolution of galaxy cluster scaling from XMM-Newton observation of the galaxy clusters at z ⩾ 0.4

We present here new XMM-Newton observations of 3 relatively cool clusters at z ≈ 0.4, complemented by archival observations of 3 other clusters at similar redshift. We derived the M–T and R–T relations from the hydrostatic equation using an isothermal temperature distribution.     

社会技术与自然技术的和谐图景

技术是人的本质存在形式。技术范畴已发生本体论上的外延,除自然技术外,还必然涵括社会技术范畴。社会技术的存在毋庸置疑,自学界提出社会技术的概念后,社会技术与自然技术的关系便成为技术哲学研究的崭新视角。和谐技术观是社会技术与自然技术关系之基。社会技术和自然技术在消解与融合、界限、可逆性等诸方面显现出和谐图景。